Safe and Optimal Techniques Enabling Recovery, Integrity, and Assurance

There is a trend in the aviation industry to go from federated to integrated computing systems. Combining a number of traditional stand-alone federated systems into an integrated common platform (called Integrated Modular Avionics, IMA) has the benefit of increased power efficiency, reduced support hardware, and reduced cabling. However, changing from federated to integrated has a significant impact on the system architecture and hence the process of how avionic systems are to be analyzed. Traditional approaches to safety analysis become inefficient when functional boundaries can no longer be assumed for failure independence and fault isolation. In this report, we describe a tool that we developed to accelerate the safety engineer's ability to perform safety analysis of IMA systems through modeling, as well as optimize the system engineer's ability to develop a system through architecture synthesis. This work was the result of a three-year research effort called SOTERIA (Safe and Optimal Techniques Enabling Recovery, Integrity, and Assurance). We developed a compositional modeling language that supports rapid development, modification, and evaluation of architectures. The modeling language is structured such that the end-user defines a library of components with information on component reliability, connectivity, and fault propagation logic. The system model is built by instantiating the components from the library, connecting the components, and identifying the top-level faults of interest. Our tool is compositional in that the end-user only needs to define safety aspects at the component level. The tool takes the model and automatically synthesizes both the qualitative and quantitative safety analyses. We go further by allowing users to describe system information such as components to use in an architecture and their connection compatibility and automatically synthesize an architecture that meets the top-level probability target adhering to end-user specified constraints. This capability allows users to rapidly explore a design space.

Tai-Chi for Residential Patients with Schizophrenia on Movement Coordination, Negative Symptoms, and Functioning: A Pilot Randomized Controlled Trial

Objective. Patients with schizophrenia residing at institutions often suffer from negative symptoms, motor, and functional impairments more severe than their noninstitutionalized counterparts. Tai-chi emphasizes body relaxation, alertness, and movement coordination with benefits to balance, focus, and stress relief. This pilot study explored the efficacy of Tai-chi on movement coordination, negative symptoms, and functioning disabilities towards schizophrenia. Methods. A randomized waitlist control design was adopted, where participants were randomized to receive either the 6-week Tai-chi program and standard residential care or only the latter. 30 Chinese patients with schizophrenia were recruited from a rehabilitation residency. All were assessed on movement coordination, negative symptoms, and functional disabilities at baseline, following intervention and 6 weeks after intervention. Results. Tai-chi buffered from deteriorations in movement coordination and interpersonal functioning, the latter with sustained effectiveness 6 weeks after the class was ended. Controls showed marked deteriorations in those areas. The Tai-chi group also experienced fewer disruptions to life activities at the 6-week maintenance. There was no significant improvement in negative symptoms after Tai-chi. Conclusions. This study demonstrated encouraging benefits of Tai-chi in preventing deteriorations in movement coordination and interpersonal functioning for residential patients with schizophrenia. The ease of implementation facilitates promotion at institutional psychiatric services

A directionally tunable but frequency-invariant beamformer on an acoustic velocity-sensor triad to enhance speech perception

Herein investigated are computationally simple microphone-array beamformers that are independent of the frequency-spectra of all signals, all interference, and all noises. These beamformers allow the listener to tune the desired azimuth-elevation “look direction.” No prior information is needed of the interference. These beamformers deploy a physically compact triad of three collocated but orthogonally oriented velocity sensors. These proposed schemes’ efficacy is verified by a jury test, using simulated data constructed with Mandarin Chinese (a.k.a. Putonghua) speech samples. For example, a desired speech signal, originally at a very adverse signal-to-interference-and-noise power ratio (SINR) of -30 dB, may be processed to become fully intelligible to the jury

Interest-driven creator theory: towards a theory of learning design for Asia in the twenty-first century

Asian education is known for its examination-driven orientation, with the downsides of distorting the processes of learning and teaching, diminishing students’ interest in learning, and failing to nurture twenty-first century competencies among students. As a group of Asian researchers, we have been developing Interest-Driven Creator (IDC) Theory, a design theory based on three anchored concepts, namely interest, creation, and habit. Each of these anchored concepts is represented by a loop composed of three components. In the interest loop, the three components are triggering, immersing, and extending. The components of the creation loop are imitating, combining, and staging. The habit loop consists of cuing environment, routine, and harmony. These three loops are interconnected in various ways, with their characteristics revealed by the design process. We hypothesize that technology-supported learning activities that are designed with reference to IDC Theory will enable students to develop interest in learning, be immersed in the creation process, and, by repeating this process in their daily routines, strengthen habits of creation. Furthermore, students will excel in learning performance, develop twenty-first century competencies, and become lifelong interest-driven creators. To sharpen our understanding and further the development of the theory, we need more discussion and collaborative efforts in the community. Hypotheses arising from this theory can be tested, revised, or refined by setting up and investigating IDC Theory-based experimental sites. By disseminating the framework, foundations, and practices to the various countries and regions of Asia, we hope that it will bring about compelling examples and hence a form of quality education for the twenty-first century, which is an alternative to the examination-driven education system. In this paper, we present an overall introduction to IDC Theory and its history, and discuss some of the steps for advancing it in the future

Subcellular Localization of SUN2 Is Regulated by Lamin A and Rab5

SUN2 is an inner nuclear membrane protein with a conserved Sad1/UNC-84 homology SUN-domain at the C-terminus. Intriguingly, SUN2 has also been reported to interact with Rab5, which localizes in early endosomes. To clarify the dual subcellular localization of SUN2, we investigated its localization in lamin A/C deficient cells rescued with lamin A or lamin C isoform, and in HeLa cells transfected with Rab5 or its mutants. We found that expression of lamin A but not lamin C partly restored the nuclear envelope localization of SUN2. SUN2 was redistributed to endosomes upon overexpression of Rab5, but remained on the nuclear envelope when the SUN domain was deleted. To explore the physiological function of SUN2 in vesicle trafficking and endocytosis, we demonstrated the colocalization of endogenous SUN2 and Rab5. Moreover, overexpression of SUN2 stimulated the uptake of transferrin while suppression of SUN2 expression attenuated the process. These findings support a role of SUN2 in endocytosis

Creative destruction in science

Drawing on the concept of a gale of creative destruction in a capitalistic economy, we argue that initiatives to assess the robustness of findings in the organizational literature should aim to simultaneously test competing ideas operating in the same theoretical space. In other words, replication efforts should seek not just to support or question the original findings, but also to replace them with revised, stronger theories with greater explanatory power. Achieving this will typically require adding new measures, conditions, and subject populations to research designs, in order to carry out conceptual tests of multiple theories in addition to directly replicating the original findings. To illustrate the value of the creative destruction approach for theory pruning in organizational scholarship, we describe recent replication initiatives re-examining culture and work morality, working parents\u2019 reasoning about day care options, and gender discrimination in hiring decisions. Significance statement It is becoming increasingly clear that many, if not most, published research findings across scientific fields are not readily replicable when the same method is repeated. Although extremely valuable, failed replications risk leaving a theoretical void\u2014 reducing confidence the original theoretical prediction is true, but not replacing it with positive evidence in favor of an alternative theory. We introduce the creative destruction approach to replication, which combines theory pruning methods from the field of management with emerging best practices from the open science movement, with the aim of making replications as generative as possible. In effect, we advocate for a Replication 2.0 movement in which the goal shifts from checking on the reliability of past findings to actively engaging in competitive theory testing and theory building. Scientific transparency statement The materials, code, and data for this article are posted publicly on the Open Science Framework, with links provided in the article

A global experiment on motivating social distancing during the COVID-19 pandemic

Finding communication strategies that effectively motivate social distancing continues to be a global public health priority during the COVID-19 pandemic. This cross-country, preregistered experiment (n = 25,718 from 89 countries) tested hypotheses concerning generalizable positive and negative outcomes of social distancing messages that promoted personal agency and reflective choices (i.e., an autonomy-supportive message) or were restrictive and shaming (i.e., a controlling message) compared with no message at all. Results partially supported experimental hypotheses in that the controlling message increased controlled motivation (a poorly internalized form of motivation relying on shame, guilt, and fear of social consequences) relative to no message. On the other hand, the autonomy-supportive message lowered feelings of defiance compared with the controlling message, but the controlling message did not differ from receiving no message at all. Unexpectedly, messages did not influence autonomous motivation (a highly internalized form of motivation relying on one’s core values) or behavioral intentions. Results supported hypothesized associations between people’s existing autonomous and controlled motivations and self-reported behavioral intentions to engage in social distancing. Controlled motivation was associated with more defiance and less long-term behavioral intention to engage in social distancing, whereas autonomous motivation was associated with less defiance and more short- and long-term intentions to social distance. Overall, this work highlights the potential harm of using shaming and pressuring language in public health communication, with implications for the current and future global health challenges

The Psychological Science Accelerator’s COVID-19 rapid-response dataset

In response to the COVID-19 pandemic, the Psychological Science Accelerator coordinated three large-scale psychological studies to examine the effects of loss-gain framing, cognitive reappraisals, and autonomy framing manipulations on behavioral intentions and affective measures. The data collected (April to October 2020) included specific measures for each experimental study, a general questionnaire examining health prevention behaviors and COVID-19 experience, geographical and cultural context characterization, and demographic information for each participant. Each participant started the study with the same general questions and then was randomized to complete either one longer experiment or two shorter experiments. Data were provided by 73,223 participants with varying completion rates. Participants completed the survey from 111 geopolitical regions in 44 unique languages/dialects. The anonymized dataset described here is provided in both raw and processed formats to facilitate re-use and further analyses. The dataset offers secondary analytic opportunities to explore coping, framing, and self-determination across a diverse, global sample obtained at the onset of the COVID-19 pandemic, which can be merged with other time-sampled or geographic data

A global experiment on motivating social distancing during the COVID-19 pandemic

Finding communication strategies that effectively motivate social distancing continues to be a global public health priority during the COVID-19 pandemic. This cross-country, preregistered experiment (n = 25,718 from 89 countries) tested hypotheses concerning generalizable positive and negative outcomes of social distancing messages that promoted personal agency and reflective choices (i.e., an autonomy-supportive message) or were restrictive and shaming (i.e. a controlling message) compared to no message at all. Results partially supported experimental hypotheses in that the controlling message increased controlled motivation (a poorly-internalized form of motivation relying on shame, guilt, and fear of social consequences) relative to no message. On the other hand, the autonomy-supportive message lowered feelings of defiance compared to the controlling message, but the controlling message did not differ from receiving no message at all. Unexpectedly, messages did not influence autonomous motivation (a highly-internalized form of motivation relying on one’s core values) or behavioral intentions. Results supported hypothesized associations between people’s existing autonomous and controlled motivations and self-reported behavioral intentions to engage in social distancing: Controlled motivation was associated with more defiance and less long-term behavioral intentions to engage in social distancing, whereas autonomous motivation was associated with less defiance and more short- and long-term intentions to social distance. Overall, this work highlights the potential harm of using shaming and pressuring language in public health communication, with implications for the current and future global health challenges